Tags: #computer-assisted math

Timeline of some events in computer-assisted mathematics and formalization in proof assistants